proving parallel lines proofs